w{-}act($w$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}a($w$; ($e$.1); ($e$.2))